Ina Schaefer: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10886 || Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation

Johnsen, Einar Broch, Schaefer, Ina

Year:

2018

Language:

english

File:

PDF, 1.39 MB

english, 2018

2

Principled Software Development (Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday) || Same Same But Different: Interoperability of Software Product Line Variants

Müller, Peter, Schaefer, Ina

Year:

2018

Language:

english

File:

PDF, 1.67 MB

english, 2018

3

[ACM Press the 23rd International Systems and Software Product Line Conference - Paris, France (2019.09.09-2019.09.13)] Proceedings of the 23rd International Systems and Software Product Line Conference volume B - SPLC '19 - On language levels for feature modeling notations

Thüm, Thomas, Seidl, Christoph, Schaefer, Ina

Year:

2019

Language:

english

File:

PDF, 397 KB

english, 2019

4

A Classification and Survey of Analysis Strategies for Software Product Lines

Thüm, Thomas, Apel, Sven, Kästner, Christian, Schaefer, Ina, Saake, Gunter

Journal:

ACM Computing Surveys

Year:

2014

Language:

english

File:

PDF, 1.05 MB

english, 2014

5

Principled Software Development (Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday) || Smart Contracts: A Killer Application for Deductive Source Code Verification

Müller, Peter, Schaefer, Ina

Year:

2018

Language:

english

File:

PDF, 289 KB

english, 2018

6

Principled Software Development (Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday) || A Case for Certifying Compilers in Industrial Automation

Müller, Peter, Schaefer, Ina

Year:

2018

Language:

english

File:

PDF, 652 KB

english, 2018

7

Principled Software Development (Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday) || Reasoning About Weak Semantics via Strong Semantics

Müller, Peter, Schaefer, Ina

Year:

2018

Language:

english

File:

PDF, 563 KB

english, 2018

8

Microclimate and soil and water loss in shaded and unshaded agroforestry coffee systems

de Carvalho, AnÃ´r Fiorini, Fernandes-Filho, ElpÃdio InÃ¡cio, Daher, Mayara, Gomes, Lucas de Carvalho, Cardoso, Irene Maria, Â Fernandes, Raphael BraganÃ§a Alves, Schaefer, Carlos E. G. R.

Journal:

Agroforestry Systems

Year:

2020

File:

PDF, 2.05 MB

2020

9

Percutaneous instrumentation of the cervical and cervico-thoracic spine using pedicle screws: preliminary clinical results and analysis of accuracy

Christian Schaefer, Phillip Begemann, Ina Fuhrhop, Malte Schroeder, Lennart Viezens, Lothar Wiesner, Nils Hansen-Algenstaedt

Journal:

European Spine Journal

Year:

2011

Language:

english

File:

PDF, 387 KB

english, 2011

10

Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems

Adler, Rasmus, Schaefer, Ina, Trapp, Mario, Poetzsch-Heffter, Arnd

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2010

Language:

english

File:

PDF, 1.44 MB

english, 2010

11

Variability Management beyond Feature Models

Lamprecht, Anna-Lena, Naujokat, Stefan, Schaefer, Ina

Journal:

Year:

2013

Language:

english

File:

PDF, 793 KB

english, 2013

12

[Lecture Notes in Computer Science] Software Reuse for Dynamic Systems in the Cloud and Beyond Volume 8919 || A Systematic Literature Review of Software Product Line Management Tools

Schaefer, Ina, Stamelos, Ioannis

Year:

2014

Language:

english

File:

PDF, 287 KB

english, 2014

13

[Lecture Notes in Computer Science] Software Reuse for Dynamic Systems in the Cloud and Beyond Volume 8919 ||

Schaefer, Ina, Stamelos, Ioannis

Year:

2014

Language:

english

File:

PDF, 15.14 MB

english, 2014

14

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 9033 ||

Egyed, Alexander, Schaefer, Ina

Year:

2015

Language:

english

File:

PDF, 10.17 MB

english, 2015

15

[ACM Press the 2008 international workshop - Leipzig, Germany (2008.05.12-2008.05.13)] Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems - SEAMS '08 - Slicing for model reduction in adaptive embedded systems development

Schaefer, Ina, Poetzsch-Heffter, Arnd

Year:

2008

Language:

english

File:

PDF, 636 KB

english, 2008

16

[ACM Press the 2014 International Conference - Cracow, Poland (2014.09.23-2014.09.26)] Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform Virtual machines, Languages, and Tools - PPPJ '14 - DeltaJ 1.5

Koscielny, Jonathan, Holthusen, Sönke, Schaefer, Ina, Schulze, Sandro, Bettini, Lorenzo, Damiani, Ferruccio

Year:

2014

Language:

english

File:

PDF, 532 KB

english, 2014

17

Variability encoding: From compile-time to load-time variability

von Rhein, Alexander, Thüm, Thomas, Schaefer, Ina, Liebig, Jörg, Apel, Sven

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 1.66 MB

english, 2016

18

Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering

ter Beek, Maurice H., Clarke, Dave, Schaefer, Ina

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 144 KB

english, 2016

19

[IEEE 2016 15th IEEE International Conference on Machine Learning and Applications (ICMLA) - Anaheim, CA, USA (2016.12.18-2016.12.20)] 2016 15th IEEE International Conference on Machine Learning and Applications (ICMLA) - System-Level Test Case Prioritization Using Machine Learning

Lachmann, Remo, Schulze, Sandro, Nieke, Manuel, Seidl, Christoph, Schaefer, Ina

Year:

2016

Language:

english

File:

PDF, 593 KB

english, 2016

20

Principled Software Development (Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday) || Towards Reliable Concurrent Software

Müller, Peter, Schaefer, Ina

Year:

2018

Language:

english

File:

PDF, 556 KB

english, 2018

21

Principled Software Development (Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday) || A Personal History of Delta Modelling

Müller, Peter, Schaefer, Ina

Year:

2018

Language:

english

File:

PDF, 168 KB

english, 2018

22

Principled Software Development (Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday) || Illi Isabellistes Se Custodes Egregios Praestabant

Müller, Peter, Schaefer, Ina

Year:

2018

Language:

english

File:

PDF, 416 KB

english, 2018

23

Principled Software Development (Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday) || Trends in Relational Program Verification

Müller, Peter, Schaefer, Ina

Year:

2018

Language:

english

File:

PDF, 506 KB

english, 2018

24

Principled Software Development (Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday) || Recipes for Coffee: Compositional Construction of JAVA Control Flow Graphs in GROOVE

Müller, Peter, Schaefer, Ina

Year:

2018

Language:

english

File:

PDF, 1.61 MB

english, 2018

25

Principled Software Development (Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday) || Collaborative Work Management with a Highly-Available Kanban Board

Müller, Peter, Schaefer, Ina

Year:

2018

Language:

english

File:

PDF, 2.24 MB

english, 2018

26

Principled Software Development (Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday) ||

Müller, Peter, Schaefer, Ina

Year:

2018

Language:

english

File:

PDF, 17.21 MB

english, 2018

27

Principled Software Development (Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday) || Abstract and Concrete Data Types vs Object Capabilities

Müller, Peter, Schaefer, Ina

Year:

2018

Language:

english

File:

PDF, 838 KB

english, 2018

28

Enhanced Autophagy Contributes to Reduced Viral Infection in Black Flying Fox Cells

Laing, Eric, Sterling, Spencer, Weir, Dawn, Beauregard, Chelsi, Smith, Ina, Larsen, Sasha, Wang, Lin-Fa, Snow, Andrew, Schaefer, Brian, Broder, Christopher

Journal:

Year:

2019

Language:

english

File:

PDF, 3.70 MB

english, 2019

29

[ACM Press the 23rd International Systems and Software Product Line Conference - Paris, France (2019.09.09-2019.09.13)] Proceedings of the 23rd International Systems and Software Product Line Conference - volume A - SPLC '19 - Feature-oriented contract composition

Thüm, Thomas, Knüppel, Alexander, Krüger, Stefan, Bolle, Stefanie, Schaefer, Ina

Year:

2019

Language:

english

File:

PDF, 305 KB

english, 2019

30

Diagnostic and prognostic implications of microRNA profiling in prostate carcinoma

Annika Schaefer, Monika Jung, Hans-Joachim Mollenkopf, Ina Wagner, Carsten Stephan, Florian Jentzmik, Kurt Miller, Michael Lein, Glen Kristiansen, Klaus Jung

Journal:

International Journal of Cancer

Year:

2010

Language:

english

File:

PDF, 473 KB

english, 2010

31

Dynamics of microvascular remodelling during tumor growth in bone

Ina Fuhrhop, Malte Schroeder, Svanheidur Loa Rafnsdóttir, Lennart Viezens, Wolfgang Rüther, Nils Hansen-Algenstaedt, Christian Schaefer

Journal:

Journal of Orthopaedic Research

Year:

2010

Language:

english

File:

PDF, 119 KB

english, 2010

32

Microcirculation of secondary bone tumors in vivo: The impact of minor surgery at a distal site

Christian Schaefer, Ina Fuhrhop, Malte Schroeder, Lennart Viezens, Jasmin Otten, Walter Fiedler, Wolfgang Rüther, Nils Hansen-Algenstaedt

Journal:

Journal of Orthopaedic Research

Year:

2010

Language:

english

File:

PDF, 701 KB

english, 2010

33

Primary tumor dependent inhibition of tumor growth, angiogenesis, and perfusion of secondary breast cancer in bone

Christian Schaefer, Malte Schroeder, Ina Fuhrhop, Lennart Viezens, Jasmin Otten, Walter Fiedler, Wolfgang Rüther, Nils Hansen-Algenstaedt

Journal:

Journal of Orthopaedic Research

Year:

2011

Language:

english

File:

PDF, 214 KB

english, 2011

34

Security of multi-agent systems: A case study on comparison shopping

Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer

Journal:

Journal of Applied Logic

Year:

2007

Language:

english

File:

PDF, 545 KB

english, 2007

35

Early microvascular complications of prediabetes in mice with impaired glucose tolerance and dyslipidemia

Christian Schaefer, Tanja Biermann, Malte Schroeder, Ina Fuhrhop, Andreas Niemeier, Wolfgang Rüther, Petra Algenstaedt, Nils Hansen-Algenstaedt

Journal:

Acta Diabetologica

Year:

2010

Language:

english

File:

PDF, 292 KB

english, 2010

36

Arthropod colonization of land – Linking molecules and fossils in oribatid mites (Acari, Oribatida)

Ina Schaefer, Roy A. Norton, Stefan Scheu, Mark Maraun

Journal:

Molecular Phylogenetics and Evolution

Year:

2010

Language:

english

File:

PDF, 882 KB

english, 2010

37

Development and validation of a new instrument for the assessment of patient-defined benefit in the treatment of acne

Matthias Augustin, Christine Reich, Ines Schaefer, Ina Zschocke, Stephan Jeff Rustenbach

Journal:

JDDG: Journal der Deutschen Dermatologischen Gesellschaft

Year:

2008

Language:

english

File:

PDF, 311 KB

english, 2008

38

Entwicklung und Validierung eines neuen Instrumentes zur Erfassung patientendefinierten Nutzens in der Therapie der Akne

Matthias Augustin, Christine Reich, Ines Schaefer, Ina Zschocke, Stephan Jeff Rustenbach

Journal:

JDDG: Journal der Deutschen Dermatologischen Gesellschaft

Year:

2008

File:

PDF, 668 KB

2008

39

S57– Patient guidelines in oncology: A comparison of international standards and methodologies

Markus Follmann, Silke Kirschning, Ina Kopp, Corinna Schaefer

Journal:

Otolaryngology - Head and Neck Surgery

Year:

2010

Language:

english

File:

PDF, 42 KB

english, 2010

40

Convergent evolution of defense mechanisms in oribatid mites (Acari, Oribatida) shows no “ghosts of predation past”

Pachl, Patrick, Domes, Katja, Schulz, Garvin, Norton, Roy A., Scheu, Stefan, Schaefer, Ina, Maraun, Mark

Journal:

Molecular Phylogenetics and Evolution

Year:

2012

Language:

english

File:

PDF, 2.00 MB

english, 2012

41

A constraint-based variability modeling framework

Sven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 1.10 MB

english, 2012

42

Software diversity: state of the art and perspectives

Ina Schaefer, Rick Rabiser, Dave Clarke, Lorenzo Bettini, David Benavides, Goetz Botterweck, Animesh Pathak, Salvador Trujillo, Karina Villela

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 445 KB

english, 2012

43

Novel Diagnostic Approaches in Bing-Neel Syndrome

K. Ina Ly, Florian Fintelmann, Reza Forghani, Pamela W. Schaefer, Ephraim P. Hochberg, Fred H. Hochberg

Journal:

Clinical Lymphoma Myeloma and Leukemia

Year:

2011

Language:

english

File:

PDF, 472 KB

english, 2011

44

TraitRecordJ: A programming language with traits and records

Bettini, Lorenzo, Damiani, Ferruccio, Schaefer, Ina, Strocco, Fabio

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 527 KB

english, 2013

45

[ACM Press the 12th annual international conference - Fukuoka, Japan (2013.03.24-2013.03.29)] Proceedings of the 12th annual international conference on Aspect-oriented software development - AOSD '13 - Refactoring delta-oriented software product lines

Schulze, Sandro, Richers, Oliver, Schaefer, Ina

Year:

2013

Language:

english

File:

PDF, 498 KB

english, 2013

46

Compositional type checking of delta-oriented software product lines

Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer

Journal:

Acta Informatica

Year:

2013

Language:

english

File:

PDF, 3.41 MB

english, 2013

47

Goal attainment scaling as a tool to enhance quality in community-based health promotion

Petra Kolip, Ina Schaefer

Journal:

International Journal of Public Health

Year:

2013

Language:

english

File:

PDF, 205 KB

english, 2013

48

Partizipative Evaluation in Praxisprojekten

Sven Brandes, Ina Schaefer

Journal:

Prävention und Gesundheitsförderung

Year:

2013

Language:

german

File:

PDF, 612 KB

german, 2013

49

[ACM Press the 17th International Software Product Line Conference - Tokyo, Japan (2013.08.26-2013.08.30)] Proceedings of the 17th International Software Product Line Conference on - SPLC '13 - Engineering delta modeling languages

Haber, Arne, Hölldobler, Katrin, Kolassa, Carsten, Look, Markus, Rumpe, Bernhard, Müller, Klaus, Schaefer, Ina

Year:

2013

Language:

english

File:

PDF, 1.10 MB

english, 2013

50

Pre- and post-glacial diversifications shape genetic complexity of soil-living microarthropod species

Rosenberger, Martin, Maraun, Mark, Scheu, Stefan, Schaefer, Ina

Journal:

Year:

2013

Language:

english

File:

PDF, 1.06 MB

english, 2013